The k-Satisfiability problem remains NP-complete for dense families
نویسنده
چکیده
We consider the ~ATISFIABILITY problem (~-SAT): Given a family F of n clauses cl, ._, , c, in conjunctive normal form, each consisting of k literals corresponding to k different variables of a set of r 2 k 2 1 boolean variables, is F satisfiable? By k-SAT@ no) we denote the k-SAT problem restricted to families with n > n,(r) clauses. We prove that for each k > 3 and each integer I > 4 such that r > Ik2, the k-SAT(>(;) (2’l-4/1)) problem is NP-complete.
منابع مشابه
Algorithmic complexity of pair cleaning method for k-satisfiability problem. (draft version)
It’s known that 3-satisfiability problem is NP-complete. Here polynomial algorithm for solving k-satisfiability (k ≥ 2) problem is assumed. In case theoretical points are right, sets P ans NP are equal.
متن کاملCharacterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the satisfiability problem for all logics betweenK andS4 is PSPACE-hard, while forS5 it is NP-complete. We show that it is negative introspection, the axiom ¬Kp ⇒ K¬Kp, that causes the gap: if we add this axiom to any modal logic bet...
متن کاملThe Computational Complexity of the Satisfiability of Modal Horn Clauses for Modal Propositional Logics
This paper presents complexity results about the satisfiability ofmodal Horn clauses for several modal propositional logics. Almost all these results are negative in the sense that restricting the input formula to modal Horn clauses does not decrease the inherent complexity of the satisfiability problem. We first show that, when restricted to modal Horn clauses, the satisfiability problem for a...
متن کاملHow to solve kSAT in polynomial time
With using of multi-nary logic analytic formulas proposition that kSAT is in P and could be solved in O ( n ) was proved. Introduction The Boolean satisfiability (SAT) problem [1] is defined as follows: Given a Boolean formula, check whether an assignment of Boolean values to the propositional variables in the formula exists, such that the formula evaluates to true. If such an assignment exists...
متن کاملXSAT and NAE-SAT of linear CNF classes
XSAT and NAE-SAT are important variants of the propositional satisfiability problem (SAT). Both are studied here regarding their computational complexity of linear CNF formulas. We prove that both variants remain NP-complete for (monotone) linear formulas yielding the conclusion that also bicolorability of linear hypergraphs is NP-complete. The reduction used gives rise to the complexity invest...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Mathematics
دوره 125 شماره
صفحات -
تاریخ انتشار 1994